Enhancing Partial-Order Reduction via Process Clustering
نویسندگان
چکیده
Partial-order reduction is a well-known technique to cope with the state-space-explosion problem in the verification of concurrent systems. Using the hierarchical structure of concurrent systems, we present an enhancement of the partial-order-reduction scheme of [12, 19]. A prototype of the new algorithm has been implemented on top of the verification tool SPIN. The first experimental results are encouraging.
منابع مشابه
Effects of Coating Golegohar-Chadormalu Pellet on Its Behaviour in Direct Reduction Process
A higher bustle temperature in midrex direct reduction process is always desirable due to its positive effect on the productivity and DRI quality. The limit of the bustle temperature is related to the sticking or clustering behaviour of oxide pellets during the reduction in the reactor. It has been well estabilished that coating of oxide pellets by a refractory material decreases its tendency ...
متن کاملEnhancing state space reduction techniques for model checking
Partial-order reduction is a well-known technique to cope with the state-space-explosion problem in the verification of concurrent systems. Using the hierarchical structure of concurrent systems, we present an enhancement of the partial-order-reduction scheme of [12, 19]. A prototype of the new algorithm has been implemented on top of the verification tool SPIN. The first experimental results a...
متن کاملEffects of Coating Golegohar-Chadormalu Pellet on Its Behaviour in Direct Reduction Process
A higher bustle temperature in midrex direct reduction process is always desirable due to its positive effect on the productivity and DRI quality. The limit of the bustle temperature is related to the sticking or clustering behaviour of oxide pellets during the reduction in the reactor. It has been well estabilished that coating of oxide pellets by a refractory material decreases its
tendenc...
متن کاملKnowledge discovery from patients’ behavior via clustering-classification algorithms based on weighted eRFM and CLV model: An empirical study in public health care services
The rapid growing of information technology (IT) motivates and makes competitive advantages in health care industry. Nowadays, many hospitals try to build a successful customer relationship management (CRM) to recognize target and potential patients, increase patient loyalty and satisfaction and finally maximize their profitability. Many hospitals have large data warehouses containing customer ...
متن کاملThe Role of Quantitative Metrics in Enhancing Spatial Information Retrieval via Fuzzy K-Means Clustering
Remote sensing information is critical to preserve environments in tropical and mountain regions (e.g., costal hurricane mitigation or mountain forest management). In order to partition graphical information into meaningful regions and extract salient objects, segmentation is used to identify visual signatures based on similarity criteria. Due to atmospheric dispersing, nonlinear denoising is n...
متن کامل